Reasoning about visibility

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reasoning about visibility

We consider properties of sequences of spatial regions, as seen from a viewpoint. In particular, we concentrate on two types of regions: 1) general domains in which a region is any subset of the space, and 2) axis-parallel domains, where the regions are boxes in an N -dimensional space. We introduce binary relations allowing to express properties of these sequences and present two approaches to...

متن کامل

Reasoning about Visibility, Perception and Knowledge

Although many formalisms have been proposed for reasoning about intelligent agents, few of these have been semantically grounded in a concrete computational model. This paper presents logic, a formalism for reasoning about multi-agent systems, in which the semantics are grounded in an general, finite state machine-like model of agency. logic allows us to represent: what is objectively true of t...

متن کامل

Reasoning about “Capability”: Wild Robins Respond to Limb Visibility in Humans

Little comparative work has focused on what nonhumans understand about what physical acts others are capable of performing, and none has yet done so in the wild, or within a competitive framework. This study shows that North Island robins visually attend to human limbs in the context of determining who to steal food from. We presented 24 wild North Island Robins (Petroica longipes) with two exp...

متن کامل

Reducing mismatching under time-pressure by reasoning about visibility and occlusion

Three methods are explored which help indicate whether feature points are potentially visible or occluded in the matching phase of the keyframe-based real-time visual SLAM system. The first derives a measure of potential visibility from the angular proximity to keyframes in which they were observed and globally adjusted, and preferentially selects those with high visibility when tracking the ca...

متن کامل

Updates by Reasoning about States Updates by Reasoning about States *

We present a language extension to Datalog which allows to specify deterministic update procedures in a declarative way. Existing update languages either rely on procedural aspects of program evaluation or leave the framework of deductive databases and logic programming. In contrast, we show that declarative update semantics can be attained by incorporating state terms into the language. Since ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Applied Logic

سال: 2012

ISSN: 1570-8683

DOI: 10.1016/j.jal.2012.02.001